квантори

КВАНТОРИ (від лат. quantum - скільки) - логічні оператори, які вказують на "кількість" індивідів ("всі" або "деякі"), що відповідають певній умові. Розрізняють К. загальності - V ("всі..., такі що..."), К. існування - 3 ("деякі ..., що...", "існує ..., такий що..."). Різні співвідношення між К. загальності та існування і логічними зв'язками логіки висловлювань формалізуються в численні предикати (див. логіка предикатів).